| Paradigm(s) | functional |
|---|---|
| Designed by | Microsoft Corporation |
| Major implementations | XASM |
Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines formal method and developed by Microsoft. AsmL is a functional language (which are commonly used in academic research).
XASM is an open source implementation of the language.